assertion checker перевод

• блок проверки утверждений, ревизор утверждений (программная или
  аппаратная система)

• assertion:    1) утверждение Ex: mere assertion голословное утверждение2) _юр. заявление (прав, претензий)3) притязание4) _лог. суждение5) _психол. уверенность в себе Ex: assertion training выработка уверенности
• checker:    1) контролер, учетчик; счетчик Ex: checker's count учет, проводимый учетчиком (при погрузке)2) кассир в магазине самообслуживания3) _ам. _сл. доносчик, осведомитель4) _с-х. чекер, палоделатель (оруд
• assertion box:    вводящий блок (на блок-схеме программы)
• assertion of right:    правопритязание
• assertion sign:    знак вывода
• autodual assertion:    мат. автодуальное утверждение
• conditional assertion:    мат. условное суждение
• existential assertion:    мат. экзистенциальное суждение
• false assertion:    мат. ложное утверждение
• final assertion:    мат. конечное утверждение
• global assertion:    мат. глобальное утверждение
• law of assertion:    мат. закон утверждения
• local assertion:    мат. локальное утверждение
• naked assertion:    голословное утверждение
• power assertion:    властное утверждение (нормативности); форма воспитания, предполагающая коррекцию поведения детей с помощью наград и кар.